601. Programming languages and systems
پدیدآورنده: Matthias Felleisen, Philippa Gardner (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
6
.
E97
2013
602. Progress in computing, analytics and networking :
پدیدآورنده: Prasant Kumar Pattnaik, Siddharth Swarup Rautaray, Himansu Das, Janmenjoy Nayak, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Cloud computing, Congresses.,Computer networks, Congresses.,Cloud computing.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
TK5105
.
5
603. Progress in cryptology - INDOCRYPT 2018 :
پدیدآورنده: Debrup Chakraborty, Tetsu Iwata (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Cryptography, Congresses.,Data encryption (Computer science), Congresses.,Computer security.,Data encryption (Computer science),Data mining.,Data structures (Computer science),Software engineering.
رده :
QA76
.
9
.
D335
P76
2018
604. Provable security :
پدیدآورنده: Joonsang Baek, Willy Susilo, Jongkil Kim (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer security, Congresses.,Data encryption (Computer science), Congresses.,Data protection, Congresses.,Computer Systems Organization and Communication Networks.,Computing Milieux.,Cryptology.,Data Structures and Information Theory.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Computer networking & communications.,Computer security.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Data encryption.,Data protection.,Information technology: general issues.,Software Engineering.
رده :
QA76
.
9
.
A25
605. Quality of protection :
پدیدآورنده: edited by Dieter Gollmann, Fabio Massacci, Artsiom Yautsiukhin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer networks-- Quality control, Congresses.,Computer networks-- Standards, Congresses.,Computer security-- Quality control, Congresses.,Computer security-- Standards, Congresses.,Computer networks-- Quality control.,Computer networks-- Quality control.,Computer networks-- Standards.,Computer networks-- Standards.,Computer security-- Quality control.,Computer security-- Standards.,Computer security-- Standards.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.,Informatique.
رده :
QA76
.
9
.
A25
Q35
2006eb
606. Quality of software architecture
پدیدآورنده: / Steffen Becker, Frantisek Plasil, Ralf Reussner (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Quality control--Congresses,Software architecture--Reliability--Congresses,Component software--Reliability--Congresses,Software architecture--Congresses
607. RFID: Security and privacy
پدیدآورنده: / Ari Juels, Christof Paar (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Radio frequency identification systems--Congresses,Data encryption (Computer science)--Congresses,Computer networks--Security measures--Congresses
رده :
TK6570
.
I34R45
2012
608. RFID: Security and privacy
پدیدآورنده: Ari Juels, Christof Paar (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer networks-- Security measures, Congresses,Data encryption (Computer science), Congresses,Radio frequency identification systems, Congresses
رده :
TK6570
.
I34
R45
2011eb
609. RIMS Symposia on Software Science and Engineering II : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
پدیدآورنده: edited by Eiichi Goto, Keijiro Araki, and Taiichi Yuasa
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
220
610. RIMS Symposia on Software Science and Engineering, Kyoto, 1982 : proceedings
پدیدآورنده: edited by Eiichi Goto...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer architecture,Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
147
611. RIMS symposia on software science and engineering II : proceedings of the symposia 1983 and 1984, Kyoto, Japan
پدیدآورنده: edited by Eiichi Goto, Keijiro Araki, and Taiichi Yuasa
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Computer architecture,Congresses ، Computer software
رده :
QA
76
.
L4
v
.
220
612. RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings
پدیدآورنده: edited by Eiichi Goto ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Computer architecture,Congresses ، Computer software
رده :
QA
76
.
L4
v
.
147
613. Radical innovations of software and systems engineering in the future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers
پدیدآورنده: Martin Wirsing, Alexander Knapp, Simonetta Balsamo )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Software engineering,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
2941
614. Rapid integration of software engineering techniques: First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004: revised selected papers
پدیدآورنده: / Nicolas Guelfi (ed.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Software engineering,Computer software,-- Congresses,-- Congresses
رده :
005
.
1
I61R
2004
615. Rapid integration of software engineering techniques : First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004 : revised selected papers
پدیدآورنده: Nicolas Guelfi )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Software engineering,Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
3475
616. Recent Research in Control Engineering and Decision Making /
پدیدآورنده: editors, Olga Dolinina, Alexander Brovko, Vitaly Pechenkin, Alexey Lvov, Vadim Zhmud and Vladik Kreinovich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Automatic control, Congresses.,Decision making-- Data processing, Congresses.,Decision support systems, Congresses.,Automatic control.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Decision making-- Data processing.,Decision support systems.
رده :
T58
.
62
617. Recent Trends in Applied Artificial Intelligence
پدیدآورنده: \ [Edited by] Moonis Ali...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Artificial intelligence -- Congresses.,Intelligent agents (Computer software) -- Congresses.,هوش مصنوعی-- کنگره‌ها ,عوامل هوشمند (نرم‌افزار کامپیوتر) -- کنگره ها
رده :
E-Book
,
618. Recent advances in the message passing interface
پدیدآورنده: Jesper Larsson Träff, Siegfriend Benkner, Jack Dongarra (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Parallel processing (Electronic computers), Congresses,Parallel programming (Computer science), Congresses
رده :
QA76
.
642
.
E97
2012eb
619. Recent trends in computer applications :
پدیدآورنده: editors, Jihad Mohamad Alja'am, Abdulmotaleb El Saddik and Abdul Hamid Sadk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Application software, Congresses.,Computer science, Congresses.,Information technology, Congresses.,Application software.,Artificial intelligence.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Data mining.,Information retrieval.,Information technology.,Information technology: general issues.,Teaching skills & techniques.
رده :
QA75
.
5
620. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
پدیدآورنده: ]edited by[ Harrie de Swart
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011
